logic proposition

逻辑命题